H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 1.85 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ CR

mainModule Main

((showSigned :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char]) :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char])

module Main where

import qualified Prelude

Case Reductions:
The following Case expression

case compare x y of
EQ → o

LT → LT

GT → GT

is transformed to

primCompAux0 o EQ = o

primCompAux0 o LT = LT

primCompAux0 o GT = GT

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

mainModule Main

((showSigned :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char]) :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char])

module Main where

import qualified Prelude

If Reductions:
The following If expression

if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero

is transformed to

primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y))

primDivNatS0 x y False = Zero

The following If expression

if b then (showChar '(') . p . showChar ')' else p

is transformed to

showParen0 p True = (showChar '(') . p . showChar ')'

showParen0 p False = p

The following If expression

if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x

is transformed to

primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y)

primModNatS0 x y False = Succ x

The following If expression

if x < 0 then showParen (p > 6) ((showChar '-') . showPos (`negate` x)) else showPos x

is transformed to

showSigned0 p showPos x True = showParen (p > 6) ((showChar '-') . showPos (`negate` x))

showSigned0 p showPos x False = showPos x

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

mainModule Main

((showSigned :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char]) :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char])

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

mainModule Main

((showSigned :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char]) :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char])

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

compare x y

| x == y

= EQ

| x <= y

= LT

| otherwise

= GT

is transformed to

compare x y = compare3 x y

compare0 x y True = GT

compare2 x y True = EQ

compare2 x y False = compare1 x y (x <= y)

compare1 x y True = LT

compare1 x y False = compare0 x y otherwise

compare3 x y = compare2 x y (x == y)

The following Function with conditions

gcd' x 0 = x

gcd' x y = gcd' y (x `rem` y)

is transformed to

gcd' x zx = gcd'2 x zx

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x zx = x

gcd'1 zy zz vuu = gcd'0 zz vuu

gcd'2 x zx = gcd'1 (zx == 0) x zx

gcd'2 vuv vuw = gcd'0 vuv vuw

The following Function with conditions

gcd 0 0 = error []

gcd x y =

gcd' (abs x) (abs y)

where

gcd' x 0 = x

gcd' x y = gcd' y (x `rem` y)

is transformed to

gcd vux vuy = gcd3 vux vuy

gcd x y = gcd0 x y

gcd0 x y =

gcd' (abs x) (abs y)

where

gcd' x zx = gcd'2 x zx

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x zx = x

gcd'1 zy zz vuu = gcd'0 zz vuu

gcd'2 x zx = gcd'1 (zx == 0) x zx

gcd'2 vuv vuw = gcd'0 vuv vuw

gcd1 True vux vuy = error []

gcd1 vuz vvu vvv = gcd0 vvu vvv

gcd2 True vux vuy = gcd1 (vuy == 0) vux vuy

gcd2 vvw vvx vvy = gcd0 vvx vvy

gcd3 vux vuy = gcd2 (vux == 0) vux vuy

gcd3 vvz vwu = gcd0 vvz vwu

The following Function with conditions

reduce x y

| y == 0

= error []

| otherwise

= x `quot` d :% (y `quot` d)

where

d = gcd x y

is transformed to

reduce x y = reduce2 x y

reduce2 x y =

reduce1 x y (y == 0)

where

d = gcd x y

reduce0 x y True = x `quot` d :% (y `quot` d)

reduce1 x y True = error []

reduce1 x y False = reduce0 x y otherwise

The following Function with conditions

absReal x

| x >= 0

= x

| otherwise

= `negate` x

is transformed to

absReal x = absReal2 x

absReal0 x True = `negate` x

absReal1 x True = x

absReal1 x False = absReal0 x otherwise

absReal2 x = absReal1 x (x >= 0)

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

mainModule Main

((showSigned :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char]) :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char])

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

reduce1 x y (y == 0)

where

d = gcd x y

reduce0 x y True = x `quot` d :% (y `quot` d)

reduce1 x y True = error []

reduce1 x y False = reduce0 x y otherwise

are unpacked to the following functions on top level

reduce2Reduce0 vwv vww x y True = x `quot` reduce2D vwv vww :% (y `quot` reduce2D vwv vww)

reduce2D vwv vww = gcd vwv vww

reduce2Reduce1 vwv vww x y True = error []

reduce2Reduce1 vwv vww x y False = reduce2Reduce0 vwv vww x y otherwise

The bindings of the following Let/Where expression

gcd' (abs x) (abs y)

where

gcd' x zx = gcd'2 x zx

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x zx = x

gcd'1 zy zz vuu = gcd'0 zz vuu

gcd'2 x zx = gcd'1 (zx == 0) x zx

gcd'2 vuv vuw = gcd'0 vuv vuw

are unpacked to the following functions on top level

gcd0Gcd'1 True x zx = x

gcd0Gcd'1 zy zz vuu = gcd0Gcd'0 zz vuu

gcd0Gcd'2 x zx = gcd0Gcd'1 (zx == 0) x zx

gcd0Gcd'2 vuv vuw = gcd0Gcd'0 vuv vuw

gcd0Gcd' x zx = gcd0Gcd'2 x zx

gcd0Gcd' x y = gcd0Gcd'0 x y

gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y)

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

mainModule Main

((showSigned :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char]) :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char])

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

mainModule Main

(showSigned :: Real a => (a -> [Char] -> [Char]) -> Int -> a -> [Char] -> [Char])

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="showSigned\n  Real a",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="showSigned vwx3\n  Real a",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="showSigned vwx3 vwx4\n  Real a",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3];
5[label="showSigned vwx3 vwx4 vwx5\n  Real a",fontsize=16,color="grey",shape="box"];5 -> 6[label="",style="dashed", color="grey", weight=3];
6[label="showSigned vwx3 vwx4 vwx5 vwx6\n  Real a",fontsize=16,color="black",shape="triangle"];6 -> 7[label="",style="solid", color="black", weight=3];
7 -> 8[label="",style="dashed", color="red", weight=0];
7[label="showSigned0 vwx4 vwx3 vwx5 (vwx5 < fromInt (Pos Zero)) vwx6\n  Real a",fontsize=16,color="magenta"];7 -> 9[label="",style="dashed", color="magenta", weight=3];
7 -> 10[label="",style="dashed", color="magenta", weight=3];
7 -> 11[label="",style="dashed", color="magenta", weight=3];
7 -> 12[label="",style="dashed", color="magenta", weight=3];
7 -> 13[label="",style="dashed", color="magenta", weight=3];
9[label="vwx4",fontsize=16,color="green",shape="box"];10[label="vwx5 < fromInt (Pos Zero)\n  Real a",fontsize=16,color="blue",shape="box"];864[label="< :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];10 -> 864[label="",style="solid", color="blue", weight=9];
864 -> 14[label="",style="solid", color="blue", weight=3];
865[label="< :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];10 -> 865[label="",style="solid", color="blue", weight=9];
865 -> 15[label="",style="solid", color="blue", weight=3];
866[label="< :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];10 -> 866[label="",style="solid", color="blue", weight=9];
866 -> 16[label="",style="solid", color="blue", weight=3];
867[label="< :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];10 -> 867[label="",style="solid", color="blue", weight=9];
867 -> 17[label="",style="solid", color="blue", weight=3];
868[label="< :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];10 -> 868[label="",style="solid", color="blue", weight=9];
868 -> 18[label="",style="solid", color="blue", weight=3];
11[label="vwx3\n  Real a",fontsize=16,color="green",shape="box"];12[label="vwx6",fontsize=16,color="green",shape="box"];13[label="vwx5\n  Real a",fontsize=16,color="green",shape="box"];8[label="showSigned0 vwx13 vwx14 vwx15 vwx16 vwx17\n  Real a",fontsize=16,color="burlywood",shape="triangle"];869[label="vwx16/False",fontsize=10,color="white",style="solid",shape="box"];8 -> 869[label="",style="solid", color="burlywood", weight=9];
869 -> 19[label="",style="solid", color="burlywood", weight=3];
870[label="vwx16/True",fontsize=10,color="white",style="solid",shape="box"];8 -> 870[label="",style="solid", color="burlywood", weight=9];
870 -> 20[label="",style="solid", color="burlywood", weight=3];
14[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];14 -> 21[label="",style="solid", color="black", weight=3];
15[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];15 -> 22[label="",style="solid", color="black", weight=3];
16[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];16 -> 23[label="",style="solid", color="black", weight=3];
17[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];17 -> 24[label="",style="solid", color="black", weight=3];
18[label="vwx5 < fromInt (Pos Zero)\n  Integral a",fontsize=16,color="black",shape="box"];18 -> 25[label="",style="solid", color="black", weight=3];
19[label="showSigned0 vwx13 vwx14 vwx15 False vwx17\n  Real a",fontsize=16,color="black",shape="box"];19 -> 26[label="",style="solid", color="black", weight=3];
20[label="showSigned0 vwx13 vwx14 vwx15 True vwx17\n  Real a",fontsize=16,color="black",shape="box"];20 -> 27[label="",style="solid", color="black", weight=3];
21[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];21 -> 28[label="",style="solid", color="black", weight=3];
22[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];22 -> 29[label="",style="solid", color="black", weight=3];
23[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];871[label="vwx5/Integer vwx50",fontsize=10,color="white",style="solid",shape="box"];23 -> 871[label="",style="solid", color="burlywood", weight=9];
871 -> 30[label="",style="solid", color="burlywood", weight=3];
24[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];24 -> 31[label="",style="solid", color="black", weight=3];
25[label="compare vwx5 (fromInt (Pos Zero)) == LT\n  Integral a",fontsize=16,color="burlywood",shape="box"];872[label="vwx5/vwx50 :% vwx51",fontsize=10,color="white",style="solid",shape="box"];25 -> 872[label="",style="solid", color="burlywood", weight=9];
872 -> 32[label="",style="solid", color="burlywood", weight=3];
26[label="vwx14 vwx15 vwx17\n  Real a",fontsize=16,color="green",shape="box"];26 -> 33[label="",style="dashed", color="green", weight=3];
26 -> 34[label="",style="dashed", color="green", weight=3];
27 -> 35[label="",style="dashed", color="red", weight=0];
27[label="showParen (vwx13 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))) . vwx14 (`negate` vwx15)) vwx17\n  Real a",fontsize=16,color="magenta"];27 -> 36[label="",style="dashed", color="magenta", weight=3];
27 -> 37[label="",style="dashed", color="magenta", weight=3];
27 -> 38[label="",style="dashed", color="magenta", weight=3];
27 -> 39[label="",style="dashed", color="magenta", weight=3];
27 -> 40[label="",style="dashed", color="magenta", weight=3];
28[label="primCmpInt vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];874[label="vwx5/Pos vwx50",fontsize=10,color="white",style="solid",shape="box"];28 -> 874[label="",style="solid", color="burlywood", weight=9];
874 -> 41[label="",style="solid", color="burlywood", weight=3];
875[label="vwx5/Neg vwx50",fontsize=10,color="white",style="solid",shape="box"];28 -> 875[label="",style="solid", color="burlywood", weight=9];
875 -> 42[label="",style="solid", color="burlywood", weight=3];
29[label="primCmpFloat vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];876[label="vwx5/Float vwx50 vwx51",fontsize=10,color="white",style="solid",shape="box"];29 -> 876[label="",style="solid", color="burlywood", weight=9];
876 -> 43[label="",style="solid", color="burlywood", weight=3];
30[label="compare (Integer vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];30 -> 44[label="",style="solid", color="black", weight=3];
31[label="primCmpDouble vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];877[label="vwx5/Double vwx50 vwx51",fontsize=10,color="white",style="solid",shape="box"];31 -> 877[label="",style="solid", color="burlywood", weight=9];
877 -> 45[label="",style="solid", color="burlywood", weight=3];
32[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero)) == LT\n  Integral a",fontsize=16,color="black",shape="box"];32 -> 46[label="",style="solid", color="black", weight=3];
33[label="vwx15\n  Real a",fontsize=16,color="green",shape="box"];34[label="vwx17",fontsize=16,color="green",shape="box"];36[label="vwx15\n  Real a",fontsize=16,color="green",shape="box"];37[label="vwx17",fontsize=16,color="green",shape="box"];38[label="vwx13",fontsize=16,color="green",shape="box"];39[label="vwx14\n  Real a",fontsize=16,color="green",shape="box"];40[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];35[label="showParen (vwx19 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) vwx23\n  Num a",fontsize=16,color="black",shape="triangle"];35 -> 47[label="",style="solid", color="black", weight=3];
41[label="primCmpInt (Pos vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];878[label="vwx50/Succ vwx500",fontsize=10,color="white",style="solid",shape="box"];41 -> 878[label="",style="solid", color="burlywood", weight=9];
878 -> 48[label="",style="solid", color="burlywood", weight=3];
879[label="vwx50/Zero",fontsize=10,color="white",style="solid",shape="box"];41 -> 879[label="",style="solid", color="burlywood", weight=9];
879 -> 49[label="",style="solid", color="burlywood", weight=3];
42[label="primCmpInt (Neg vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];880[label="vwx50/Succ vwx500",fontsize=10,color="white",style="solid",shape="box"];42 -> 880[label="",style="solid", color="burlywood", weight=9];
880 -> 50[label="",style="solid", color="burlywood", weight=3];
881[label="vwx50/Zero",fontsize=10,color="white",style="solid",shape="box"];42 -> 881[label="",style="solid", color="burlywood", weight=9];
881 -> 51[label="",style="solid", color="burlywood", weight=3];
43[label="primCmpFloat (Float vwx50 vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];43 -> 52[label="",style="solid", color="black", weight=3];
44[label="compare (Integer vwx50) (Integer (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];44 -> 53[label="",style="solid", color="black", weight=3];
45[label="primCmpDouble (Double vwx50 vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];45 -> 54[label="",style="solid", color="black", weight=3];
46[label="compare (vwx50 :% vwx51) (intToRatio (Pos Zero)) == LT\n  Integral a",fontsize=16,color="black",shape="box"];46 -> 55[label="",style="solid", color="black", weight=3];
47[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (vwx19 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vwx23\n  Num a",fontsize=16,color="black",shape="box"];47 -> 56[label="",style="solid", color="black", weight=3];
48[label="primCmpInt (Pos (Succ vwx500)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];48 -> 57[label="",style="solid", color="black", weight=3];
49[label="primCmpInt (Pos Zero) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];49 -> 58[label="",style="solid", color="black", weight=3];
50[label="primCmpInt (Neg (Succ vwx500)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];50 -> 59[label="",style="solid", color="black", weight=3];
51[label="primCmpInt (Neg Zero) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];51 -> 60[label="",style="solid", color="black", weight=3];
52[label="primCmpFloat (Float vwx50 vwx51) (primIntToFloat (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];52 -> 61[label="",style="solid", color="black", weight=3];
53[label="primCmpInt vwx50 (Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];882[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];53 -> 882[label="",style="solid", color="burlywood", weight=9];
882 -> 62[label="",style="solid", color="burlywood", weight=3];
883[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];53 -> 883[label="",style="solid", color="burlywood", weight=9];
883 -> 63[label="",style="solid", color="burlywood", weight=3];
54[label="primCmpDouble (Double vwx50 vwx51) (primIntToDouble (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];54 -> 64[label="",style="solid", color="black", weight=3];
55[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT\n  Integral a",fontsize=16,color="blue",shape="box"];884[label="fromInt :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];55 -> 884[label="",style="solid", color="blue", weight=9];
884 -> 65[label="",style="solid", color="blue", weight=3];
885[label="fromInt :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];55 -> 885[label="",style="solid", color="blue", weight=9];
885 -> 66[label="",style="solid", color="blue", weight=3];
56[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (compare vwx19 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];56 -> 67[label="",style="solid", color="black", weight=3];
57 -> 53[label="",style="dashed", color="red", weight=0];
57[label="primCmpInt (Pos (Succ vwx500)) (Pos Zero) == LT",fontsize=16,color="magenta"];57 -> 68[label="",style="dashed", color="magenta", weight=3];
58 -> 709[label="",style="dashed", color="red", weight=0];
58[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];58 -> 710[label="",style="dashed", color="magenta", weight=3];
59 -> 764[label="",style="dashed", color="red", weight=0];
59[label="primCmpInt (Neg (Succ vwx500)) (Pos Zero) == LT",fontsize=16,color="magenta"];59 -> 765[label="",style="dashed", color="magenta", weight=3];
59 -> 766[label="",style="dashed", color="magenta", weight=3];
60 -> 774[label="",style="dashed", color="red", weight=0];
60[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];60 -> 775[label="",style="dashed", color="magenta", weight=3];
61[label="primCmpFloat (Float vwx50 vwx51) (Float (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];61 -> 72[label="",style="solid", color="black", weight=3];
62[label="primCmpInt (Pos vwx500) (Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];890[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];62 -> 890[label="",style="solid", color="burlywood", weight=9];
890 -> 73[label="",style="solid", color="burlywood", weight=3];
891[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];62 -> 891[label="",style="solid", color="burlywood", weight=9];
891 -> 74[label="",style="solid", color="burlywood", weight=3];
63[label="primCmpInt (Neg vwx500) (Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];892[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];63 -> 892[label="",style="solid", color="burlywood", weight=9];
892 -> 75[label="",style="solid", color="burlywood", weight=3];
893[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];63 -> 893[label="",style="solid", color="burlywood", weight=9];
893 -> 76[label="",style="solid", color="burlywood", weight=3];
64[label="primCmpDouble (Double vwx50 vwx51) (Double (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];64 -> 77[label="",style="solid", color="black", weight=3];
65[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];65 -> 78[label="",style="solid", color="black", weight=3];
66[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];66 -> 79[label="",style="solid", color="black", weight=3];
67[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt vwx19 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];894[label="vwx19/Pos vwx190",fontsize=10,color="white",style="solid",shape="box"];67 -> 894[label="",style="solid", color="burlywood", weight=9];
894 -> 80[label="",style="solid", color="burlywood", weight=3];
895[label="vwx19/Neg vwx190",fontsize=10,color="white",style="solid",shape="box"];67 -> 895[label="",style="solid", color="burlywood", weight=9];
895 -> 81[label="",style="solid", color="burlywood", weight=3];
68[label="Pos (Succ vwx500)",fontsize=16,color="green",shape="box"];710[label="Zero",fontsize=16,color="green",shape="box"];709[label="primCmpInt (Pos Zero) (Pos vwx53) == LT",fontsize=16,color="burlywood",shape="triangle"];896[label="vwx53/Succ vwx530",fontsize=10,color="white",style="solid",shape="box"];709 -> 896[label="",style="solid", color="burlywood", weight=9];
896 -> 728[label="",style="solid", color="burlywood", weight=3];
897[label="vwx53/Zero",fontsize=10,color="white",style="solid",shape="box"];709 -> 897[label="",style="solid", color="burlywood", weight=9];
897 -> 729[label="",style="solid", color="burlywood", weight=3];
765[label="Zero",fontsize=16,color="green",shape="box"];766[label="vwx500",fontsize=16,color="green",shape="box"];764[label="primCmpInt (Neg (Succ vwx440)) (Pos vwx65) == LT",fontsize=16,color="black",shape="triangle"];764 -> 768[label="",style="solid", color="black", weight=3];
775[label="Zero",fontsize=16,color="green",shape="box"];774[label="primCmpInt (Neg Zero) (Pos vwx67) == LT",fontsize=16,color="burlywood",shape="triangle"];898[label="vwx67/Succ vwx670",fontsize=10,color="white",style="solid",shape="box"];774 -> 898[label="",style="solid", color="burlywood", weight=9];
898 -> 793[label="",style="solid", color="burlywood", weight=3];
899[label="vwx67/Zero",fontsize=10,color="white",style="solid",shape="box"];774 -> 899[label="",style="solid", color="burlywood", weight=9];
899 -> 794[label="",style="solid", color="burlywood", weight=3];
72[label="compare (vwx50 * Pos Zero) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="triangle"];72 -> 82[label="",style="solid", color="black", weight=3];
73[label="primCmpInt (Pos (Succ vwx5000)) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];73 -> 83[label="",style="solid", color="black", weight=3];
74[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];74 -> 84[label="",style="solid", color="black", weight=3];
75[label="primCmpInt (Neg (Succ vwx5000)) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];75 -> 85[label="",style="solid", color="black", weight=3];
76[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];76 -> 86[label="",style="solid", color="black", weight=3];
77 -> 72[label="",style="dashed", color="red", weight=0];
77[label="compare (vwx50 * Pos Zero) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="magenta"];77 -> 87[label="",style="dashed", color="magenta", weight=3];
77 -> 88[label="",style="dashed", color="magenta", weight=3];
78[label="compare (vwx50 :% vwx51) (Pos Zero :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];78 -> 89[label="",style="solid", color="black", weight=3];
79[label="compare (vwx50 :% vwx51) (Integer (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];79 -> 90[label="",style="solid", color="black", weight=3];
80[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos vwx190) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];901[label="vwx190/Succ vwx1900",fontsize=10,color="white",style="solid",shape="box"];80 -> 901[label="",style="solid", color="burlywood", weight=9];
901 -> 91[label="",style="solid", color="burlywood", weight=3];
902[label="vwx190/Zero",fontsize=10,color="white",style="solid",shape="box"];80 -> 902[label="",style="solid", color="burlywood", weight=9];
902 -> 92[label="",style="solid", color="burlywood", weight=3];
81[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg vwx190) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];903[label="vwx190/Succ vwx1900",fontsize=10,color="white",style="solid",shape="box"];81 -> 903[label="",style="solid", color="burlywood", weight=9];
903 -> 93[label="",style="solid", color="burlywood", weight=3];
904[label="vwx190/Zero",fontsize=10,color="white",style="solid",shape="box"];81 -> 904[label="",style="solid", color="burlywood", weight=9];
904 -> 94[label="",style="solid", color="burlywood", weight=3];
728[label="primCmpInt (Pos Zero) (Pos (Succ vwx530)) == LT",fontsize=16,color="black",shape="box"];728 -> 759[label="",style="solid", color="black", weight=3];
729[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];729 -> 760[label="",style="solid", color="black", weight=3];
768 -> 85[label="",style="dashed", color="red", weight=0];
768[label="LT == LT",fontsize=16,color="magenta"];793[label="primCmpInt (Neg Zero) (Pos (Succ vwx670)) == LT",fontsize=16,color="black",shape="box"];793 -> 814[label="",style="solid", color="black", weight=3];
794[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];794 -> 815[label="",style="solid", color="black", weight=3];
82[label="primCmpInt (vwx50 * Pos Zero) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];82 -> 95[label="",style="solid", color="black", weight=3];
83 -> 819[label="",style="dashed", color="red", weight=0];
83[label="primCmpNat (Succ vwx5000) Zero == LT",fontsize=16,color="magenta"];83 -> 820[label="",style="dashed", color="magenta", weight=3];
83 -> 821[label="",style="dashed", color="magenta", weight=3];
84[label="EQ == LT",fontsize=16,color="black",shape="triangle"];84 -> 97[label="",style="solid", color="black", weight=3];
85[label="LT == LT",fontsize=16,color="black",shape="triangle"];85 -> 98[label="",style="solid", color="black", weight=3];
86 -> 84[label="",style="dashed", color="red", weight=0];
86[label="EQ == LT",fontsize=16,color="magenta"];87[label="vwx51",fontsize=16,color="green",shape="box"];88[label="vwx50",fontsize=16,color="green",shape="box"];89[label="compare (vwx50 :% vwx51) (Pos Zero :% Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];89 -> 99[label="",style="solid", color="black", weight=3];
90[label="compare (vwx50 :% vwx51) (Integer (Pos Zero) :% Integer (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];90 -> 100[label="",style="solid", color="black", weight=3];
91[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos (Succ vwx1900)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];91 -> 101[label="",style="solid", color="black", weight=3];
92[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];92 -> 102[label="",style="solid", color="black", weight=3];
93[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg (Succ vwx1900)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];93 -> 103[label="",style="solid", color="black", weight=3];
94[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];94 -> 104[label="",style="solid", color="black", weight=3];
759[label="primCmpNat Zero (Succ vwx530) == LT",fontsize=16,color="black",shape="box"];759 -> 769[label="",style="solid", color="black", weight=3];
760 -> 84[label="",style="dashed", color="red", weight=0];
760[label="EQ == LT",fontsize=16,color="magenta"];814 -> 85[label="",style="dashed", color="red", weight=0];
814[label="LT == LT",fontsize=16,color="magenta"];815 -> 84[label="",style="dashed", color="red", weight=0];
815[label="EQ == LT",fontsize=16,color="magenta"];95[label="primCmpInt (primMulInt vwx50 (Pos Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="burlywood",shape="box"];911[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];95 -> 911[label="",style="solid", color="burlywood", weight=9];
911 -> 105[label="",style="solid", color="burlywood", weight=3];
912[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];95 -> 912[label="",style="solid", color="burlywood", weight=9];
912 -> 106[label="",style="solid", color="burlywood", weight=3];
820[label="Zero",fontsize=16,color="green",shape="box"];821[label="vwx5000",fontsize=16,color="green",shape="box"];819[label="primCmpNat (Succ vwx420) vwx69 == LT",fontsize=16,color="burlywood",shape="triangle"];913[label="vwx69/Succ vwx690",fontsize=10,color="white",style="solid",shape="box"];819 -> 913[label="",style="solid", color="burlywood", weight=9];
913 -> 823[label="",style="solid", color="burlywood", weight=3];
914[label="vwx69/Zero",fontsize=10,color="white",style="solid",shape="box"];819 -> 914[label="",style="solid", color="burlywood", weight=9];
914 -> 824[label="",style="solid", color="burlywood", weight=3];
97[label="False",fontsize=16,color="green",shape="box"];98[label="True",fontsize=16,color="green",shape="box"];99[label="compare (vwx50 * Pos (Succ Zero)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];99 -> 108[label="",style="solid", color="black", weight=3];
100[label="compare (vwx50 * Integer (Pos (Succ Zero))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];915[label="vwx50/Integer vwx500",fontsize=10,color="white",style="solid",shape="box"];100 -> 915[label="",style="solid", color="burlywood", weight=9];
915 -> 109[label="",style="solid", color="burlywood", weight=3];
101[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900) (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];101 -> 110[label="",style="solid", color="black", weight=3];
102[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];102 -> 111[label="",style="solid", color="black", weight=3];
103[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="black",shape="triangle"];103 -> 112[label="",style="solid", color="black", weight=3];
104 -> 103[label="",style="dashed", color="red", weight=0];
104[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="magenta"];769 -> 85[label="",style="dashed", color="red", weight=0];
769[label="LT == LT",fontsize=16,color="magenta"];105[label="primCmpInt (primMulInt (Pos vwx500) (Pos Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];105 -> 113[label="",style="solid", color="black", weight=3];
106[label="primCmpInt (primMulInt (Neg vwx500) (Pos Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];106 -> 114[label="",style="solid", color="black", weight=3];
823[label="primCmpNat (Succ vwx420) (Succ vwx690) == LT",fontsize=16,color="black",shape="box"];823 -> 834[label="",style="solid", color="black", weight=3];
824[label="primCmpNat (Succ vwx420) Zero == LT",fontsize=16,color="black",shape="box"];824 -> 835[label="",style="solid", color="black", weight=3];
108[label="primCmpInt (vwx50 * Pos (Succ Zero)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];108 -> 115[label="",style="solid", color="black", weight=3];
109[label="compare (Integer vwx500 * Integer (Pos (Succ Zero))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="black",shape="box"];109 -> 116[label="",style="solid", color="black", weight=3];
110[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx1900 (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];918[label="vwx1900/Succ vwx19000",fontsize=10,color="white",style="solid",shape="box"];110 -> 918[label="",style="solid", color="burlywood", weight=9];
918 -> 117[label="",style="solid", color="burlywood", weight=3];
919[label="vwx1900/Zero",fontsize=10,color="white",style="solid",shape="box"];110 -> 919[label="",style="solid", color="burlywood", weight=9];
919 -> 118[label="",style="solid", color="burlywood", weight=3];
111 -> 103[label="",style="dashed", color="red", weight=0];
111[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="magenta"];112[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) False vwx23\n  Num a",fontsize=16,color="black",shape="triangle"];112 -> 119[label="",style="solid", color="black", weight=3];
113[label="primCmpInt (Pos (primMulNat vwx500 Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="burlywood",shape="box"];921[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];113 -> 921[label="",style="solid", color="burlywood", weight=9];
921 -> 120[label="",style="solid", color="burlywood", weight=3];
922[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];113 -> 922[label="",style="solid", color="burlywood", weight=9];
922 -> 121[label="",style="solid", color="burlywood", weight=3];
114[label="primCmpInt (Neg (primMulNat vwx500 Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="burlywood",shape="box"];923[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];114 -> 923[label="",style="solid", color="burlywood", weight=9];
923 -> 122[label="",style="solid", color="burlywood", weight=3];
924[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];114 -> 924[label="",style="solid", color="burlywood", weight=9];
924 -> 123[label="",style="solid", color="burlywood", weight=3];
834[label="primCmpNat vwx420 vwx690 == LT",fontsize=16,color="burlywood",shape="triangle"];925[label="vwx420/Succ vwx4200",fontsize=10,color="white",style="solid",shape="box"];834 -> 925[label="",style="solid", color="burlywood", weight=9];
925 -> 841[label="",style="solid", color="burlywood", weight=3];
926[label="vwx420/Zero",fontsize=10,color="white",style="solid",shape="box"];834 -> 926[label="",style="solid", color="burlywood", weight=9];
926 -> 842[label="",style="solid", color="burlywood", weight=3];
835 -> 96[label="",style="dashed", color="red", weight=0];
835[label="GT == LT",fontsize=16,color="magenta"];115[label="primCmpInt (primMulInt vwx50 (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];928[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];115 -> 928[label="",style="solid", color="burlywood", weight=9];
928 -> 124[label="",style="solid", color="burlywood", weight=3];
929[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];115 -> 929[label="",style="solid", color="burlywood", weight=9];
929 -> 125[label="",style="solid", color="burlywood", weight=3];
116[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];930[label="vwx51/Integer vwx510",fontsize=10,color="white",style="solid",shape="box"];116 -> 930[label="",style="solid", color="burlywood", weight=9];
930 -> 126[label="",style="solid", color="burlywood", weight=3];
117[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx19000) (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];117 -> 127[label="",style="solid", color="black", weight=3];
118[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];118 -> 128[label="",style="solid", color="black", weight=3];
119[label="(showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)\n  Num a",fontsize=16,color="black",shape="triangle"];119 -> 129[label="",style="solid", color="black", weight=3];
120[label="primCmpInt (Pos (primMulNat (Succ vwx5000) Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];120 -> 130[label="",style="solid", color="black", weight=3];
121[label="primCmpInt (Pos (primMulNat Zero Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];121 -> 131[label="",style="solid", color="black", weight=3];
122[label="primCmpInt (Neg (primMulNat (Succ vwx5000) Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];122 -> 132[label="",style="solid", color="black", weight=3];
123[label="primCmpInt (Neg (primMulNat Zero Zero)) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];123 -> 133[label="",style="solid", color="black", weight=3];
841[label="primCmpNat (Succ vwx4200) vwx690 == LT",fontsize=16,color="burlywood",shape="box"];931[label="vwx690/Succ vwx6900",fontsize=10,color="white",style="solid",shape="box"];841 -> 931[label="",style="solid", color="burlywood", weight=9];
931 -> 846[label="",style="solid", color="burlywood", weight=3];
932[label="vwx690/Zero",fontsize=10,color="white",style="solid",shape="box"];841 -> 932[label="",style="solid", color="burlywood", weight=9];
932 -> 847[label="",style="solid", color="burlywood", weight=3];
842[label="primCmpNat Zero vwx690 == LT",fontsize=16,color="burlywood",shape="box"];933[label="vwx690/Succ vwx6900",fontsize=10,color="white",style="solid",shape="box"];842 -> 933[label="",style="solid", color="burlywood", weight=9];
933 -> 848[label="",style="solid", color="burlywood", weight=3];
934[label="vwx690/Zero",fontsize=10,color="white",style="solid",shape="box"];842 -> 934[label="",style="solid", color="burlywood", weight=9];
934 -> 849[label="",style="solid", color="burlywood", weight=3];
96[label="GT == LT",fontsize=16,color="black",shape="triangle"];96 -> 107[label="",style="solid", color="black", weight=3];
124[label="primCmpInt (primMulInt (Pos vwx500) (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];124 -> 134[label="",style="solid", color="black", weight=3];
125[label="primCmpInt (primMulInt (Neg vwx500) (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];125 -> 135[label="",style="solid", color="black", weight=3];
126[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (Pos Zero) * Integer vwx510) == LT",fontsize=16,color="black",shape="box"];126 -> 136[label="",style="solid", color="black", weight=3];
127[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx19000 (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];935[label="vwx19000/Succ vwx190000",fontsize=10,color="white",style="solid",shape="box"];127 -> 935[label="",style="solid", color="burlywood", weight=9];
935 -> 137[label="",style="solid", color="burlywood", weight=3];
936[label="vwx19000/Zero",fontsize=10,color="white",style="solid",shape="box"];127 -> 936[label="",style="solid", color="burlywood", weight=9];
936 -> 138[label="",style="solid", color="burlywood", weight=3];
128 -> 103[label="",style="dashed", color="red", weight=0];
128[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="magenta"];129[label="showChar (Char (Succ vwx20)) (vwx21 (`negate` vwx22) vwx23)\n  Num a",fontsize=16,color="black",shape="box"];129 -> 139[label="",style="solid", color="black", weight=3];
130[label="primCmpInt (Pos Zero) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="triangle"];130 -> 140[label="",style="solid", color="black", weight=3];
131 -> 130[label="",style="dashed", color="red", weight=0];
131[label="primCmpInt (Pos Zero) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="magenta"];132[label="primCmpInt (Neg Zero) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="triangle"];132 -> 141[label="",style="solid", color="black", weight=3];
133 -> 132[label="",style="dashed", color="red", weight=0];
133[label="primCmpInt (Neg Zero) (vwx51 * Pos (Succ Zero)) == LT",fontsize=16,color="magenta"];846[label="primCmpNat (Succ vwx4200) (Succ vwx6900) == LT",fontsize=16,color="black",shape="box"];846 -> 856[label="",style="solid", color="black", weight=3];
847[label="primCmpNat (Succ vwx4200) Zero == LT",fontsize=16,color="black",shape="box"];847 -> 857[label="",style="solid", color="black", weight=3];
848[label="primCmpNat Zero (Succ vwx6900) == LT",fontsize=16,color="black",shape="box"];848 -> 858[label="",style="solid", color="black", weight=3];
849[label="primCmpNat Zero Zero == LT",fontsize=16,color="black",shape="box"];849 -> 859[label="",style="solid", color="black", weight=3];
107[label="False",fontsize=16,color="green",shape="box"];134[label="primCmpInt (Pos (primMulNat vwx500 (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];940[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];134 -> 940[label="",style="solid", color="burlywood", weight=9];
940 -> 142[label="",style="solid", color="burlywood", weight=3];
941[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];134 -> 941[label="",style="solid", color="burlywood", weight=9];
941 -> 143[label="",style="solid", color="burlywood", weight=3];
135[label="primCmpInt (Neg (primMulNat vwx500 (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];942[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];135 -> 942[label="",style="solid", color="burlywood", weight=9];
942 -> 144[label="",style="solid", color="burlywood", weight=3];
943[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];135 -> 943[label="",style="solid", color="burlywood", weight=9];
943 -> 145[label="",style="solid", color="burlywood", weight=3];
136[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (primMulInt (Pos Zero) vwx510)) == LT",fontsize=16,color="black",shape="box"];136 -> 146[label="",style="solid", color="black", weight=3];
137[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx190000) (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];137 -> 147[label="",style="solid", color="black", weight=3];
138[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];138 -> 148[label="",style="solid", color="black", weight=3];
139[label="(:) Char (Succ vwx20) vwx21 (`negate` vwx22) vwx23\n  Num a",fontsize=16,color="green",shape="box"];139 -> 149[label="",style="dashed", color="green", weight=3];
140[label="primCmpInt (Pos Zero) (primMulInt vwx51 (Pos (Succ Zero))) == LT",fontsize=16,color="burlywood",shape="box"];944[label="vwx51/Pos vwx510",fontsize=10,color="white",style="solid",shape="box"];140 -> 944[label="",style="solid", color="burlywood", weight=9];
944 -> 150[label="",style="solid", color="burlywood", weight=3];
945[label="vwx51/Neg vwx510",fontsize=10,color="white",style="solid",shape="box"];140 -> 945[label="",style="solid", color="burlywood", weight=9];
945 -> 151[label="",style="solid", color="burlywood", weight=3];
141[label="primCmpInt (Neg Zero) (primMulInt vwx51 (Pos (Succ Zero))) == LT",fontsize=16,color="burlywood",shape="box"];946[label="vwx51/Pos vwx510",fontsize=10,color="white",style="solid",shape="box"];141 -> 946[label="",style="solid", color="burlywood", weight=9];
946 -> 152[label="",style="solid", color="burlywood", weight=3];
947[label="vwx51/Neg vwx510",fontsize=10,color="white",style="solid",shape="box"];141 -> 947[label="",style="solid", color="burlywood", weight=9];
947 -> 153[label="",style="solid", color="burlywood", weight=3];
856 -> 834[label="",style="dashed", color="red", weight=0];
856[label="primCmpNat vwx4200 vwx6900 == LT",fontsize=16,color="magenta"];856 -> 861[label="",style="dashed", color="magenta", weight=3];
856 -> 862[label="",style="dashed", color="magenta", weight=3];
857 -> 96[label="",style="dashed", color="red", weight=0];
857[label="GT == LT",fontsize=16,color="magenta"];858 -> 85[label="",style="dashed", color="red", weight=0];
858[label="LT == LT",fontsize=16,color="magenta"];859 -> 84[label="",style="dashed", color="red", weight=0];
859[label="EQ == LT",fontsize=16,color="magenta"];142[label="primCmpInt (Pos (primMulNat (Succ vwx5000) (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];142 -> 154[label="",style="solid", color="black", weight=3];
143[label="primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];143 -> 155[label="",style="solid", color="black", weight=3];
144[label="primCmpInt (Neg (primMulNat (Succ vwx5000) (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];144 -> 156[label="",style="solid", color="black", weight=3];
145[label="primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];145 -> 157[label="",style="solid", color="black", weight=3];
146[label="primCmpInt (primMulInt vwx500 (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];952[label="vwx500/Pos vwx5000",fontsize=10,color="white",style="solid",shape="box"];146 -> 952[label="",style="solid", color="burlywood", weight=9];
952 -> 158[label="",style="solid", color="burlywood", weight=3];
953[label="vwx500/Neg vwx5000",fontsize=10,color="white",style="solid",shape="box"];146 -> 953[label="",style="solid", color="burlywood", weight=9];
953 -> 159[label="",style="solid", color="burlywood", weight=3];
147[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx190000 (Succ (Succ (Succ Zero))) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];954[label="vwx190000/Succ vwx1900000",fontsize=10,color="white",style="solid",shape="box"];147 -> 954[label="",style="solid", color="burlywood", weight=9];
954 -> 160[label="",style="solid", color="burlywood", weight=3];
955[label="vwx190000/Zero",fontsize=10,color="white",style="solid",shape="box"];147 -> 955[label="",style="solid", color="burlywood", weight=9];
955 -> 161[label="",style="solid", color="burlywood", weight=3];
148 -> 103[label="",style="dashed", color="red", weight=0];
148[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="magenta"];149[label="vwx21 (`negate` vwx22) vwx23\n  Num a",fontsize=16,color="green",shape="box"];149 -> 162[label="",style="dashed", color="green", weight=3];
149 -> 163[label="",style="dashed", color="green", weight=3];
150[label="primCmpInt (Pos Zero) (primMulInt (Pos vwx510) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];150 -> 164[label="",style="solid", color="black", weight=3];
151[label="primCmpInt (Pos Zero) (primMulInt (Neg vwx510) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];151 -> 165[label="",style="solid", color="black", weight=3];
152[label="primCmpInt (Neg Zero) (primMulInt (Pos vwx510) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];152 -> 166[label="",style="solid", color="black", weight=3];
153[label="primCmpInt (Neg Zero) (primMulInt (Neg vwx510) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];153 -> 167[label="",style="solid", color="black", weight=3];
861[label="vwx4200",fontsize=16,color="green",shape="box"];862[label="vwx6900",fontsize=16,color="green",shape="box"];154 -> 518[label="",style="dashed", color="red", weight=0];
154[label="primCmpInt (Pos (primPlusNat (primMulNat vwx5000 (Succ Zero)) (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="magenta"];154 -> 519[label="",style="dashed", color="magenta", weight=3];
154 -> 520[label="",style="dashed", color="magenta", weight=3];
155[label="primCmpInt (Pos Zero) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];155 -> 170[label="",style="solid", color="black", weight=3];
156 -> 561[label="",style="dashed", color="red", weight=0];
156[label="primCmpInt (Neg (primPlusNat (primMulNat vwx5000 (Succ Zero)) (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="magenta"];156 -> 562[label="",style="dashed", color="magenta", weight=3];
156 -> 563[label="",style="dashed", color="magenta", weight=3];
157[label="primCmpInt (Neg Zero) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];157 -> 173[label="",style="solid", color="black", weight=3];
158[label="primCmpInt (primMulInt (Pos vwx5000) (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="black",shape="box"];158 -> 174[label="",style="solid", color="black", weight=3];
159[label="primCmpInt (primMulInt (Neg vwx5000) (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="black",shape="box"];159 -> 175[label="",style="solid", color="black", weight=3];
160[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900000) (Succ (Succ (Succ Zero))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];160 -> 176[label="",style="solid", color="black", weight=3];
161[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ Zero))) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];161 -> 177[label="",style="solid", color="black", weight=3];
162[label="`negate` vwx22\n  Num a",fontsize=16,color="blue",shape="box"];959[label="negate :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];162 -> 959[label="",style="solid", color="blue", weight=9];
959 -> 178[label="",style="solid", color="blue", weight=3];
960[label="negate :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];162 -> 960[label="",style="solid", color="blue", weight=9];
960 -> 179[label="",style="solid", color="blue", weight=3];
961[label="negate :: (Ratio a) -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];162 -> 961[label="",style="solid", color="blue", weight=9];
961 -> 180[label="",style="solid", color="blue", weight=3];
962[label="negate :: Double -> Double",fontsize=10,color="white",style="solid",shape="box"];162 -> 962[label="",style="solid", color="blue", weight=9];
962 -> 181[label="",style="solid", color="blue", weight=3];
963[label="negate :: Float -> Float",fontsize=10,color="white",style="solid",shape="box"];162 -> 963[label="",style="solid", color="blue", weight=9];
963 -> 182[label="",style="solid", color="blue", weight=3];
163[label="vwx23",fontsize=16,color="green",shape="box"];164 -> 709[label="",style="dashed", color="red", weight=0];
164[label="primCmpInt (Pos Zero) (Pos (primMulNat vwx510 (Succ Zero))) == LT",fontsize=16,color="magenta"];164 -> 711[label="",style="dashed", color="magenta", weight=3];
165 -> 741[label="",style="dashed", color="red", weight=0];
165[label="primCmpInt (Pos Zero) (Neg (primMulNat vwx510 (Succ Zero))) == LT",fontsize=16,color="magenta"];165 -> 742[label="",style="dashed", color="magenta", weight=3];
166 -> 774[label="",style="dashed", color="red", weight=0];
166[label="primCmpInt (Neg Zero) (Pos (primMulNat vwx510 (Succ Zero))) == LT",fontsize=16,color="magenta"];166 -> 776[label="",style="dashed", color="magenta", weight=3];
167 -> 796[label="",style="dashed", color="red", weight=0];
167[label="primCmpInt (Neg Zero) (Neg (primMulNat vwx510 (Succ Zero))) == LT",fontsize=16,color="magenta"];167 -> 797[label="",style="dashed", color="magenta", weight=3];
519[label="vwx51",fontsize=16,color="green",shape="box"];520[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];968[label="vwx5000/Succ vwx50000",fontsize=10,color="white",style="solid",shape="box"];520 -> 968[label="",style="solid", color="burlywood", weight=9];
968 -> 551[label="",style="solid", color="burlywood", weight=3];
969[label="vwx5000/Zero",fontsize=10,color="white",style="solid",shape="box"];520 -> 969[label="",style="solid", color="burlywood", weight=9];
969 -> 552[label="",style="solid", color="burlywood", weight=3];
518[label="primCmpInt (Pos (primPlusNat vwx35 (Succ Zero))) (Pos Zero * vwx36) == LT",fontsize=16,color="burlywood",shape="triangle"];970[label="vwx35/Succ vwx350",fontsize=10,color="white",style="solid",shape="box"];518 -> 970[label="",style="solid", color="burlywood", weight=9];
970 -> 553[label="",style="solid", color="burlywood", weight=3];
971[label="vwx35/Zero",fontsize=10,color="white",style="solid",shape="box"];518 -> 971[label="",style="solid", color="burlywood", weight=9];
971 -> 554[label="",style="solid", color="burlywood", weight=3];
170 -> 610[label="",style="dashed", color="red", weight=0];
170[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];170 -> 611[label="",style="dashed", color="magenta", weight=3];
170 -> 612[label="",style="dashed", color="magenta", weight=3];
562 -> 520[label="",style="dashed", color="red", weight=0];
562[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];562 -> 596[label="",style="dashed", color="magenta", weight=3];
563[label="vwx51",fontsize=16,color="green",shape="box"];561[label="primCmpInt (Neg (primPlusNat vwx39 (Succ Zero))) (Pos Zero * vwx40) == LT",fontsize=16,color="burlywood",shape="triangle"];974[label="vwx39/Succ vwx390",fontsize=10,color="white",style="solid",shape="box"];561 -> 974[label="",style="solid", color="burlywood", weight=9];
974 -> 597[label="",style="solid", color="burlywood", weight=3];
975[label="vwx39/Zero",fontsize=10,color="white",style="solid",shape="box"];561 -> 975[label="",style="solid", color="burlywood", weight=9];
975 -> 598[label="",style="solid", color="burlywood", weight=3];
173 -> 646[label="",style="dashed", color="red", weight=0];
173[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];173 -> 647[label="",style="dashed", color="magenta", weight=3];
173 -> 648[label="",style="dashed", color="magenta", weight=3];
174 -> 610[label="",style="dashed", color="red", weight=0];
174[label="primCmpInt (Pos (primMulNat vwx5000 (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="magenta"];174 -> 613[label="",style="dashed", color="magenta", weight=3];
175 -> 646[label="",style="dashed", color="red", weight=0];
175[label="primCmpInt (Neg (primMulNat vwx5000 (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="magenta"];175 -> 649[label="",style="dashed", color="magenta", weight=3];
176[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx1900000 (Succ (Succ Zero)) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];979[label="vwx1900000/Succ vwx19000000",fontsize=10,color="white",style="solid",shape="box"];176 -> 979[label="",style="solid", color="burlywood", weight=9];
979 -> 203[label="",style="solid", color="burlywood", weight=3];
980[label="vwx1900000/Zero",fontsize=10,color="white",style="solid",shape="box"];176 -> 980[label="",style="solid", color="burlywood", weight=9];
980 -> 204[label="",style="solid", color="burlywood", weight=3];
177 -> 103[label="",style="dashed", color="red", weight=0];
177[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="magenta"];178[label="`negate` vwx22",fontsize=16,color="black",shape="triangle"];178 -> 205[label="",style="solid", color="black", weight=3];
179[label="`negate` vwx22",fontsize=16,color="burlywood",shape="triangle"];982[label="vwx22/Integer vwx220",fontsize=10,color="white",style="solid",shape="box"];179 -> 982[label="",style="solid", color="burlywood", weight=9];
982 -> 206[label="",style="solid", color="burlywood", weight=3];
180[label="`negate` vwx22\n  Integral a",fontsize=16,color="burlywood",shape="box"];983[label="vwx22/vwx220 :% vwx221",fontsize=10,color="white",style="solid",shape="box"];180 -> 983[label="",style="solid", color="burlywood", weight=9];
983 -> 207[label="",style="solid", color="burlywood", weight=3];
181[label="`negate` vwx22",fontsize=16,color="black",shape="box"];181 -> 208[label="",style="solid", color="black", weight=3];
182[label="`negate` vwx22",fontsize=16,color="black",shape="box"];182 -> 209[label="",style="solid", color="black", weight=3];
711 -> 520[label="",style="dashed", color="red", weight=0];
711[label="primMulNat vwx510 (Succ Zero)",fontsize=16,color="magenta"];711 -> 730[label="",style="dashed", color="magenta", weight=3];
742 -> 520[label="",style="dashed", color="red", weight=0];
742[label="primMulNat vwx510 (Succ Zero)",fontsize=16,color="magenta"];742 -> 761[label="",style="dashed", color="magenta", weight=3];
741[label="primCmpInt (Pos Zero) (Neg vwx59) == LT",fontsize=16,color="burlywood",shape="triangle"];986[label="vwx59/Succ vwx590",fontsize=10,color="white",style="solid",shape="box"];741 -> 986[label="",style="solid", color="burlywood", weight=9];
986 -> 762[label="",style="solid", color="burlywood", weight=3];
987[label="vwx59/Zero",fontsize=10,color="white",style="solid",shape="box"];741 -> 987[label="",style="solid", color="burlywood", weight=9];
987 -> 763[label="",style="solid", color="burlywood", weight=3];
776 -> 520[label="",style="dashed", color="red", weight=0];
776[label="primMulNat vwx510 (Succ Zero)",fontsize=16,color="magenta"];776 -> 795[label="",style="dashed", color="magenta", weight=3];
797 -> 520[label="",style="dashed", color="red", weight=0];
797[label="primMulNat vwx510 (Succ Zero)",fontsize=16,color="magenta"];797 -> 816[label="",style="dashed", color="magenta", weight=3];
796[label="primCmpInt (Neg Zero) (Neg vwx68) == LT",fontsize=16,color="burlywood",shape="triangle"];990[label="vwx68/Succ vwx680",fontsize=10,color="white",style="solid",shape="box"];796 -> 990[label="",style="solid", color="burlywood", weight=9];
990 -> 817[label="",style="solid", color="burlywood", weight=3];
991[label="vwx68/Zero",fontsize=10,color="white",style="solid",shape="box"];796 -> 991[label="",style="solid", color="burlywood", weight=9];
991 -> 818[label="",style="solid", color="burlywood", weight=3];
551[label="primMulNat (Succ vwx50000) (Succ Zero)",fontsize=16,color="black",shape="box"];551 -> 557[label="",style="solid", color="black", weight=3];
552[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];552 -> 558[label="",style="solid", color="black", weight=3];
553[label="primCmpInt (Pos (primPlusNat (Succ vwx350) (Succ Zero))) (Pos Zero * vwx36) == LT",fontsize=16,color="black",shape="box"];553 -> 559[label="",style="solid", color="black", weight=3];
554[label="primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos Zero * vwx36) == LT",fontsize=16,color="black",shape="box"];554 -> 560[label="",style="solid", color="black", weight=3];
611[label="Zero",fontsize=16,color="green",shape="box"];612[label="vwx51",fontsize=16,color="green",shape="box"];610[label="primCmpInt (Pos vwx42) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="triangle"];992[label="vwx42/Succ vwx420",fontsize=10,color="white",style="solid",shape="box"];610 -> 992[label="",style="solid", color="burlywood", weight=9];
992 -> 636[label="",style="solid", color="burlywood", weight=3];
993[label="vwx42/Zero",fontsize=10,color="white",style="solid",shape="box"];610 -> 993[label="",style="solid", color="burlywood", weight=9];
993 -> 637[label="",style="solid", color="burlywood", weight=3];
596[label="vwx5000",fontsize=16,color="green",shape="box"];597[label="primCmpInt (Neg (primPlusNat (Succ vwx390) (Succ Zero))) (Pos Zero * vwx40) == LT",fontsize=16,color="black",shape="box"];597 -> 601[label="",style="solid", color="black", weight=3];
598[label="primCmpInt (Neg (primPlusNat Zero (Succ Zero))) (Pos Zero * vwx40) == LT",fontsize=16,color="black",shape="box"];598 -> 602[label="",style="solid", color="black", weight=3];
647[label="vwx51",fontsize=16,color="green",shape="box"];648[label="Zero",fontsize=16,color="green",shape="box"];646[label="primCmpInt (Neg vwx44) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="triangle"];994[label="vwx44/Succ vwx440",fontsize=10,color="white",style="solid",shape="box"];646 -> 994[label="",style="solid", color="burlywood", weight=9];
994 -> 672[label="",style="solid", color="burlywood", weight=3];
995[label="vwx44/Zero",fontsize=10,color="white",style="solid",shape="box"];646 -> 995[label="",style="solid", color="burlywood", weight=9];
995 -> 673[label="",style="solid", color="burlywood", weight=3];
613 -> 520[label="",style="dashed", color="red", weight=0];
613[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];613 -> 638[label="",style="dashed", color="magenta", weight=3];
649 -> 520[label="",style="dashed", color="red", weight=0];
649[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];649 -> 674[label="",style="dashed", color="magenta", weight=3];
203[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx19000000) (Succ (Succ Zero)) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];203 -> 232[label="",style="solid", color="black", weight=3];
204[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ Zero)) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];204 -> 233[label="",style="solid", color="black", weight=3];
205[label="primNegInt vwx22",fontsize=16,color="burlywood",shape="triangle"];998[label="vwx22/Pos vwx220",fontsize=10,color="white",style="solid",shape="box"];205 -> 998[label="",style="solid", color="burlywood", weight=9];
998 -> 234[label="",style="solid", color="burlywood", weight=3];
999[label="vwx22/Neg vwx220",fontsize=10,color="white",style="solid",shape="box"];205 -> 999[label="",style="solid", color="burlywood", weight=9];
999 -> 235[label="",style="solid", color="burlywood", weight=3];
206[label="`negate` Integer vwx220",fontsize=16,color="black",shape="box"];206 -> 236[label="",style="solid", color="black", weight=3];
207[label="`negate` vwx220 :% vwx221\n  Integral a",fontsize=16,color="black",shape="box"];207 -> 237[label="",style="solid", color="black", weight=3];
208[label="primNegDouble vwx22",fontsize=16,color="burlywood",shape="box"];1000[label="vwx22/Double vwx220 vwx221",fontsize=10,color="white",style="solid",shape="box"];208 -> 1000[label="",style="solid", color="burlywood", weight=9];
1000 -> 238[label="",style="solid", color="burlywood", weight=3];
209[label="primNegFloat vwx22",fontsize=16,color="burlywood",shape="box"];1001[label="vwx22/Float vwx220 vwx221",fontsize=10,color="white",style="solid",shape="box"];209 -> 1001[label="",style="solid", color="burlywood", weight=9];
1001 -> 239[label="",style="solid", color="burlywood", weight=3];
730[label="vwx510",fontsize=16,color="green",shape="box"];761[label="vwx510",fontsize=16,color="green",shape="box"];762[label="primCmpInt (Pos Zero) (Neg (Succ vwx590)) == LT",fontsize=16,color="black",shape="box"];762 -> 770[label="",style="solid", color="black", weight=3];
763[label="primCmpInt (Pos Zero) (Neg Zero) == LT",fontsize=16,color="black",shape="box"];763 -> 771[label="",style="solid", color="black", weight=3];
795[label="vwx510",fontsize=16,color="green",shape="box"];816[label="vwx510",fontsize=16,color="green",shape="box"];817[label="primCmpInt (Neg Zero) (Neg (Succ vwx680)) == LT",fontsize=16,color="black",shape="box"];817 -> 825[label="",style="solid", color="black", weight=3];
818[label="primCmpInt (Neg Zero) (Neg Zero) == LT",fontsize=16,color="black",shape="box"];818 -> 826[label="",style="solid", color="black", weight=3];
557 -> 599[label="",style="dashed", color="red", weight=0];
557[label="primPlusNat (primMulNat vwx50000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];557 -> 600[label="",style="dashed", color="magenta", weight=3];
558[label="Zero",fontsize=16,color="green",shape="box"];559[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx350 Zero)))) (Pos Zero * vwx36) == LT",fontsize=16,color="black",shape="box"];559 -> 603[label="",style="solid", color="black", weight=3];
560[label="primCmpInt (Pos (Succ Zero)) (Pos Zero * vwx36) == LT",fontsize=16,color="black",shape="box"];560 -> 604[label="",style="solid", color="black", weight=3];
636[label="primCmpInt (Pos (Succ vwx420)) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];1003[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];636 -> 1003[label="",style="solid", color="burlywood", weight=9];
1003 -> 675[label="",style="solid", color="burlywood", weight=3];
1004[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];636 -> 1004[label="",style="solid", color="burlywood", weight=9];
1004 -> 676[label="",style="solid", color="burlywood", weight=3];
637[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];1005[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];637 -> 1005[label="",style="solid", color="burlywood", weight=9];
1005 -> 677[label="",style="solid", color="burlywood", weight=3];
1006[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];637 -> 1006[label="",style="solid", color="burlywood", weight=9];
1006 -> 678[label="",style="solid", color="burlywood", weight=3];
601[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx390 Zero)))) (Pos Zero * vwx40) == LT",fontsize=16,color="black",shape="box"];601 -> 639[label="",style="solid", color="black", weight=3];
602[label="primCmpInt (Neg (Succ Zero)) (Pos Zero * vwx40) == LT",fontsize=16,color="black",shape="box"];602 -> 640[label="",style="solid", color="black", weight=3];
672[label="primCmpInt (Neg (Succ vwx440)) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];1007[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];672 -> 1007[label="",style="solid", color="burlywood", weight=9];
1007 -> 696[label="",style="solid", color="burlywood", weight=3];
1008[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];672 -> 1008[label="",style="solid", color="burlywood", weight=9];
1008 -> 697[label="",style="solid", color="burlywood", weight=3];
673[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];1009[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];673 -> 1009[label="",style="solid", color="burlywood", weight=9];
1009 -> 698[label="",style="solid", color="burlywood", weight=3];
1010[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];673 -> 1010[label="",style="solid", color="burlywood", weight=9];
1010 -> 699[label="",style="solid", color="burlywood", weight=3];
638[label="vwx5000",fontsize=16,color="green",shape="box"];674[label="vwx5000",fontsize=16,color="green",shape="box"];232[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx19000000 (Succ Zero) == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];1011[label="vwx19000000/Succ vwx190000000",fontsize=10,color="white",style="solid",shape="box"];232 -> 1011[label="",style="solid", color="burlywood", weight=9];
1011 -> 272[label="",style="solid", color="burlywood", weight=3];
1012[label="vwx19000000/Zero",fontsize=10,color="white",style="solid",shape="box"];232 -> 1012[label="",style="solid", color="burlywood", weight=9];
1012 -> 273[label="",style="solid", color="burlywood", weight=3];
233 -> 103[label="",style="dashed", color="red", weight=0];
233[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="magenta"];234[label="primNegInt (Pos vwx220)",fontsize=16,color="black",shape="box"];234 -> 274[label="",style="solid", color="black", weight=3];
235[label="primNegInt (Neg vwx220)",fontsize=16,color="black",shape="box"];235 -> 275[label="",style="solid", color="black", weight=3];
236[label="Integer (primNegInt vwx220)",fontsize=16,color="green",shape="box"];236 -> 276[label="",style="dashed", color="green", weight=3];
237[label="(negate vwx220) :% vwx221\n  Integral a",fontsize=16,color="green",shape="box"];237 -> 277[label="",style="dashed", color="green", weight=3];
238[label="primNegDouble (Double vwx220 vwx221)",fontsize=16,color="black",shape="box"];238 -> 278[label="",style="solid", color="black", weight=3];
239[label="primNegFloat (Float vwx220 vwx221)",fontsize=16,color="black",shape="box"];239 -> 279[label="",style="solid", color="black", weight=3];
770 -> 96[label="",style="dashed", color="red", weight=0];
770[label="GT == LT",fontsize=16,color="magenta"];771 -> 84[label="",style="dashed", color="red", weight=0];
771[label="EQ == LT",fontsize=16,color="magenta"];825 -> 819[label="",style="dashed", color="red", weight=0];
825[label="primCmpNat (Succ vwx680) Zero == LT",fontsize=16,color="magenta"];825 -> 836[label="",style="dashed", color="magenta", weight=3];
825 -> 837[label="",style="dashed", color="magenta", weight=3];
826 -> 84[label="",style="dashed", color="red", weight=0];
826[label="EQ == LT",fontsize=16,color="magenta"];600 -> 520[label="",style="dashed", color="red", weight=0];
600[label="primMulNat vwx50000 (Succ Zero)",fontsize=16,color="magenta"];600 -> 605[label="",style="dashed", color="magenta", weight=3];
599[label="primPlusNat vwx41 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1019[label="vwx41/Succ vwx410",fontsize=10,color="white",style="solid",shape="box"];599 -> 1019[label="",style="solid", color="burlywood", weight=9];
1019 -> 606[label="",style="solid", color="burlywood", weight=3];
1020[label="vwx41/Zero",fontsize=10,color="white",style="solid",shape="box"];599 -> 1020[label="",style="solid", color="burlywood", weight=9];
1020 -> 607[label="",style="solid", color="burlywood", weight=3];
603 -> 610[label="",style="dashed", color="red", weight=0];
603[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx350 Zero)))) (primMulInt (Pos Zero) vwx36) == LT",fontsize=16,color="magenta"];603 -> 616[label="",style="dashed", color="magenta", weight=3];
603 -> 617[label="",style="dashed", color="magenta", weight=3];
604 -> 610[label="",style="dashed", color="red", weight=0];
604[label="primCmpInt (Pos (Succ Zero)) (primMulInt (Pos Zero) vwx36) == LT",fontsize=16,color="magenta"];604 -> 618[label="",style="dashed", color="magenta", weight=3];
604 -> 619[label="",style="dashed", color="magenta", weight=3];
675[label="primCmpInt (Pos (Succ vwx420)) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];675 -> 700[label="",style="solid", color="black", weight=3];
676[label="primCmpInt (Pos (Succ vwx420)) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];676 -> 701[label="",style="solid", color="black", weight=3];
677[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];677 -> 702[label="",style="solid", color="black", weight=3];
678[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];678 -> 703[label="",style="solid", color="black", weight=3];
639 -> 646[label="",style="dashed", color="red", weight=0];
639[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx390 Zero)))) (primMulInt (Pos Zero) vwx40) == LT",fontsize=16,color="magenta"];639 -> 652[label="",style="dashed", color="magenta", weight=3];
639 -> 653[label="",style="dashed", color="magenta", weight=3];
640 -> 646[label="",style="dashed", color="red", weight=0];
640[label="primCmpInt (Neg (Succ Zero)) (primMulInt (Pos Zero) vwx40) == LT",fontsize=16,color="magenta"];640 -> 654[label="",style="dashed", color="magenta", weight=3];
640 -> 655[label="",style="dashed", color="magenta", weight=3];
696[label="primCmpInt (Neg (Succ vwx440)) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];696 -> 731[label="",style="solid", color="black", weight=3];
697[label="primCmpInt (Neg (Succ vwx440)) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];697 -> 732[label="",style="solid", color="black", weight=3];
698[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];698 -> 733[label="",style="solid", color="black", weight=3];
699[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];699 -> 734[label="",style="solid", color="black", weight=3];
272[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx190000000) (Succ Zero) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];272 -> 310[label="",style="solid", color="black", weight=3];
273[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ Zero) == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];273 -> 311[label="",style="solid", color="black", weight=3];
274[label="Neg vwx220",fontsize=16,color="green",shape="box"];275[label="Pos vwx220",fontsize=16,color="green",shape="box"];276 -> 205[label="",style="dashed", color="red", weight=0];
276[label="primNegInt vwx220",fontsize=16,color="magenta"];276 -> 312[label="",style="dashed", color="magenta", weight=3];
277[label="negate vwx220\n  Integral a",fontsize=16,color="blue",shape="box"];1026[label="negate :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];277 -> 1026[label="",style="solid", color="blue", weight=9];
1026 -> 313[label="",style="solid", color="blue", weight=3];
1027[label="negate :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];277 -> 1027[label="",style="solid", color="blue", weight=9];
1027 -> 314[label="",style="solid", color="blue", weight=3];
278[label="Double (`negate` vwx220) vwx221",fontsize=16,color="green",shape="box"];278 -> 315[label="",style="dashed", color="green", weight=3];
279[label="Float (`negate` vwx220) vwx221",fontsize=16,color="green",shape="box"];279 -> 316[label="",style="dashed", color="green", weight=3];
836[label="Zero",fontsize=16,color="green",shape="box"];837[label="vwx680",fontsize=16,color="green",shape="box"];605[label="vwx50000",fontsize=16,color="green",shape="box"];606[label="primPlusNat (Succ vwx410) (Succ Zero)",fontsize=16,color="black",shape="box"];606 -> 641[label="",style="solid", color="black", weight=3];
607[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];607 -> 642[label="",style="solid", color="black", weight=3];
616[label="Succ (Succ (primPlusNat vwx350 Zero))",fontsize=16,color="green",shape="box"];616 -> 643[label="",style="dashed", color="green", weight=3];
617[label="vwx36",fontsize=16,color="green",shape="box"];618[label="Succ Zero",fontsize=16,color="green",shape="box"];619[label="vwx36",fontsize=16,color="green",shape="box"];700[label="primCmpInt (Pos (Succ vwx420)) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];700 -> 735[label="",style="solid", color="black", weight=3];
701[label="primCmpInt (Pos (Succ vwx420)) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];701 -> 736[label="",style="solid", color="black", weight=3];
702 -> 709[label="",style="dashed", color="red", weight=0];
702[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="magenta"];702 -> 716[label="",style="dashed", color="magenta", weight=3];
703 -> 741[label="",style="dashed", color="red", weight=0];
703[label="primCmpInt (Pos Zero) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="magenta"];703 -> 747[label="",style="dashed", color="magenta", weight=3];
652[label="vwx40",fontsize=16,color="green",shape="box"];653[label="Succ (Succ (primPlusNat vwx390 Zero))",fontsize=16,color="green",shape="box"];653 -> 679[label="",style="dashed", color="green", weight=3];
654[label="vwx40",fontsize=16,color="green",shape="box"];655[label="Succ Zero",fontsize=16,color="green",shape="box"];731 -> 764[label="",style="dashed", color="red", weight=0];
731[label="primCmpInt (Neg (Succ vwx440)) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="magenta"];731 -> 767[label="",style="dashed", color="magenta", weight=3];
732 -> 772[label="",style="dashed", color="red", weight=0];
732[label="primCmpInt (Neg (Succ vwx440)) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="magenta"];732 -> 773[label="",style="dashed", color="magenta", weight=3];
733 -> 774[label="",style="dashed", color="red", weight=0];
733[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="magenta"];733 -> 781[label="",style="dashed", color="magenta", weight=3];
734 -> 796[label="",style="dashed", color="red", weight=0];
734[label="primCmpInt (Neg Zero) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="magenta"];734 -> 802[label="",style="dashed", color="magenta", weight=3];
310[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx190000000 Zero == GT) vwx23\n  Num a",fontsize=16,color="burlywood",shape="box"];1034[label="vwx190000000/Succ vwx1900000000",fontsize=10,color="white",style="solid",shape="box"];310 -> 1034[label="",style="solid", color="burlywood", weight=9];
1034 -> 349[label="",style="solid", color="burlywood", weight=3];
1035[label="vwx190000000/Zero",fontsize=10,color="white",style="solid",shape="box"];310 -> 1035[label="",style="solid", color="burlywood", weight=9];
1035 -> 350[label="",style="solid", color="burlywood", weight=3];
311 -> 103[label="",style="dashed", color="red", weight=0];
311[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23\n  Num a",fontsize=16,color="magenta"];312[label="vwx220",fontsize=16,color="green",shape="box"];313 -> 178[label="",style="dashed", color="red", weight=0];
313[label="negate vwx220",fontsize=16,color="magenta"];313 -> 351[label="",style="dashed", color="magenta", weight=3];
314 -> 179[label="",style="dashed", color="red", weight=0];
314[label="negate vwx220",fontsize=16,color="magenta"];314 -> 352[label="",style="dashed", color="magenta", weight=3];
315 -> 178[label="",style="dashed", color="red", weight=0];
315[label="`negate` vwx220",fontsize=16,color="magenta"];315 -> 353[label="",style="dashed", color="magenta", weight=3];
316 -> 178[label="",style="dashed", color="red", weight=0];
316[label="`negate` vwx220",fontsize=16,color="magenta"];316 -> 354[label="",style="dashed", color="magenta", weight=3];
641[label="Succ (Succ (primPlusNat vwx410 Zero))",fontsize=16,color="green",shape="box"];641 -> 680[label="",style="dashed", color="green", weight=3];
642[label="Succ Zero",fontsize=16,color="green",shape="box"];643[label="primPlusNat vwx350 Zero",fontsize=16,color="burlywood",shape="triangle"];1041[label="vwx350/Succ vwx3500",fontsize=10,color="white",style="solid",shape="box"];643 -> 1041[label="",style="solid", color="burlywood", weight=9];
1041 -> 681[label="",style="solid", color="burlywood", weight=3];
1042[label="vwx350/Zero",fontsize=10,color="white",style="solid",shape="box"];643 -> 1042[label="",style="solid", color="burlywood", weight=9];
1042 -> 682[label="",style="solid", color="burlywood", weight=3];
735 -> 819[label="",style="dashed", color="red", weight=0];
735[label="primCmpNat (Succ vwx420) (primMulNat Zero vwx5100) == LT",fontsize=16,color="magenta"];735 -> 822[label="",style="dashed", color="magenta", weight=3];
736 -> 96[label="",style="dashed", color="red", weight=0];
736[label="GT == LT",fontsize=16,color="magenta"];716[label="primMulNat Zero vwx5100",fontsize=16,color="burlywood",shape="triangle"];1045[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];716 -> 1045[label="",style="solid", color="burlywood", weight=9];
1045 -> 739[label="",style="solid", color="burlywood", weight=3];
1046[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];716 -> 1046[label="",style="solid", color="burlywood", weight=9];
1046 -> 740[label="",style="solid", color="burlywood", weight=3];
747 -> 716[label="",style="dashed", color="red", weight=0];
747[label="primMulNat Zero vwx5100",fontsize=16,color="magenta"];747 -> 827[label="",style="dashed", color="magenta", weight=3];
679 -> 643[label="",style="dashed", color="red", weight=0];
679[label="primPlusNat vwx390 Zero",fontsize=16,color="magenta"];679 -> 704[label="",style="dashed", color="magenta", weight=3];
767 -> 716[label="",style="dashed", color="red", weight=0];
767[label="primMulNat Zero vwx5100",fontsize=16,color="magenta"];773 -> 716[label="",style="dashed", color="red", weight=0];
773[label="primMulNat Zero vwx5100",fontsize=16,color="magenta"];773 -> 828[label="",style="dashed", color="magenta", weight=3];
772[label="primCmpInt (Neg (Succ vwx440)) (Neg vwx66) == LT",fontsize=16,color="black",shape="triangle"];772 -> 829[label="",style="solid", color="black", weight=3];
781 -> 716[label="",style="dashed", color="red", weight=0];
781[label="primMulNat Zero vwx5100",fontsize=16,color="magenta"];802 -> 716[label="",style="dashed", color="red", weight=0];
802[label="primMulNat Zero vwx5100",fontsize=16,color="magenta"];802 -> 830[label="",style="dashed", color="magenta", weight=3];
349[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900000000) Zero == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];349 -> 385[label="",style="solid", color="black", weight=3];
350[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero Zero == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];350 -> 386[label="",style="solid", color="black", weight=3];
351[label="vwx220",fontsize=16,color="green",shape="box"];352[label="vwx220",fontsize=16,color="green",shape="box"];353[label="vwx220",fontsize=16,color="green",shape="box"];354[label="vwx220",fontsize=16,color="green",shape="box"];680 -> 643[label="",style="dashed", color="red", weight=0];
680[label="primPlusNat vwx410 Zero",fontsize=16,color="magenta"];680 -> 705[label="",style="dashed", color="magenta", weight=3];
681[label="primPlusNat (Succ vwx3500) Zero",fontsize=16,color="black",shape="box"];681 -> 706[label="",style="solid", color="black", weight=3];
682[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];682 -> 707[label="",style="solid", color="black", weight=3];
822 -> 716[label="",style="dashed", color="red", weight=0];
822[label="primMulNat Zero vwx5100",fontsize=16,color="magenta"];739[label="primMulNat Zero (Succ vwx51000)",fontsize=16,color="black",shape="box"];739 -> 831[label="",style="solid", color="black", weight=3];
740[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];740 -> 832[label="",style="solid", color="black", weight=3];
827[label="vwx5100",fontsize=16,color="green",shape="box"];704[label="vwx390",fontsize=16,color="green",shape="box"];828[label="vwx5100",fontsize=16,color="green",shape="box"];829[label="primCmpNat vwx66 (Succ vwx440) == LT",fontsize=16,color="burlywood",shape="box"];1055[label="vwx66/Succ vwx660",fontsize=10,color="white",style="solid",shape="box"];829 -> 1055[label="",style="solid", color="burlywood", weight=9];
1055 -> 838[label="",style="solid", color="burlywood", weight=3];
1056[label="vwx66/Zero",fontsize=10,color="white",style="solid",shape="box"];829 -> 1056[label="",style="solid", color="burlywood", weight=9];
1056 -> 839[label="",style="solid", color="burlywood", weight=3];
830[label="vwx5100",fontsize=16,color="green",shape="box"];385[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (GT == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];385 -> 421[label="",style="solid", color="black", weight=3];
386[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (EQ == GT) vwx23\n  Num a",fontsize=16,color="black",shape="box"];386 -> 422[label="",style="solid", color="black", weight=3];
705[label="vwx410",fontsize=16,color="green",shape="box"];706[label="Succ vwx3500",fontsize=16,color="green",shape="box"];707[label="Zero",fontsize=16,color="green",shape="box"];831[label="Zero",fontsize=16,color="green",shape="box"];832[label="Zero",fontsize=16,color="green",shape="box"];838[label="primCmpNat (Succ vwx660) (Succ vwx440) == LT",fontsize=16,color="black",shape="box"];838 -> 843[label="",style="solid", color="black", weight=3];
839[label="primCmpNat Zero (Succ vwx440) == LT",fontsize=16,color="black",shape="box"];839 -> 844[label="",style="solid", color="black", weight=3];
421[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) True vwx23\n  Num a",fontsize=16,color="black",shape="box"];421 -> 457[label="",style="solid", color="black", weight=3];
422 -> 112[label="",style="dashed", color="red", weight=0];
422[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) False vwx23\n  Num a",fontsize=16,color="magenta"];843 -> 834[label="",style="dashed", color="red", weight=0];
843[label="primCmpNat vwx660 vwx440 == LT",fontsize=16,color="magenta"];843 -> 850[label="",style="dashed", color="magenta", weight=3];
843 -> 851[label="",style="dashed", color="magenta", weight=3];
844 -> 85[label="",style="dashed", color="red", weight=0];
844[label="LT == LT",fontsize=16,color="magenta"];457 -> 683[label="",style="dashed", color="red", weight=0];
457[label="(showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))) . ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) . showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))\n  Num a",fontsize=16,color="magenta"];457 -> 684[label="",style="dashed", color="magenta", weight=3];
457 -> 685[label="",style="dashed", color="magenta", weight=3];
457 -> 686[label="",style="dashed", color="magenta", weight=3];
457 -> 687[label="",style="dashed", color="magenta", weight=3];
457 -> 688[label="",style="dashed", color="magenta", weight=3];
457 -> 689[label="",style="dashed", color="magenta", weight=3];
850[label="vwx660",fontsize=16,color="green",shape="box"];851[label="vwx440",fontsize=16,color="green",shape="box"];684[label="vwx23",fontsize=16,color="green",shape="box"];685[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];686[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];687[label="vwx22\n  Num a",fontsize=16,color="green",shape="box"];688[label="vwx21\n  Num a",fontsize=16,color="green",shape="box"];689[label="vwx20",fontsize=16,color="green",shape="box"];683[label="(showChar (Char (Succ vwx47))) . ((showChar (Char (Succ vwx48))) . vwx49 (`negate` vwx50)) . showChar (Char (Succ vwx51))\n  Num a",fontsize=16,color="black",shape="triangle"];683 -> 708[label="",style="solid", color="black", weight=3];
708[label="showChar (Char (Succ vwx47)) (((showChar (Char (Succ vwx48))) . vwx49 (`negate` vwx50)) . showChar (Char (Succ vwx51)))\n  Num a",fontsize=16,color="black",shape="box"];708 -> 833[label="",style="solid", color="black", weight=3];
833[label="(:) Char (Succ vwx47) ((showChar (Char (Succ vwx48))) . vwx49 (`negate` vwx50)) . showChar (Char (Succ vwx51))\n  Num a",fontsize=16,color="green",shape="box"];833 -> 840[label="",style="dashed", color="green", weight=3];
840[label="((showChar (Char (Succ vwx48))) . vwx49 (`negate` vwx50)) . showChar (Char (Succ vwx51))\n  Num a",fontsize=16,color="black",shape="box"];840 -> 845[label="",style="solid", color="black", weight=3];
845 -> 119[label="",style="dashed", color="red", weight=0];
845[label="(showChar (Char (Succ vwx48))) . vwx49 (`negate` vwx50)\n  Num a",fontsize=16,color="magenta"];845 -> 852[label="",style="dashed", color="magenta", weight=3];
845 -> 853[label="",style="dashed", color="magenta", weight=3];
845 -> 854[label="",style="dashed", color="magenta", weight=3];
845 -> 855[label="",style="dashed", color="magenta", weight=3];
852[label="vwx50\n  Num a",fontsize=16,color="green",shape="box"];853[label="showChar (Char (Succ vwx51)) vwx52",fontsize=16,color="black",shape="box"];853 -> 860[label="",style="solid", color="black", weight=3];
854[label="vwx49\n  Num a",fontsize=16,color="green",shape="box"];855[label="vwx48",fontsize=16,color="green",shape="box"];860[label="(:) Char (Succ vwx51) vwx52",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vwx50000)) → new_primMulNat(vwx50000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(vwx50000)) → new_primMulNat(vwx50000)
The graph contains the following edges 1 > 1

↳ HASKELL

  ↳ CR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_esEs(Succ(vwx4200), Succ(vwx6900)) → new_esEs(vwx4200, vwx6900)

From the DPs we obtained the following set of size-change graphs:

new_esEs(Succ(vwx4200), Succ(vwx6900)) → new_esEs(vwx4200, vwx6900)
The graph contains the following edges 1 > 1, 2 > 2

primDivNatS0	x y True	= Succ (primDivNatS (primMinusNatS x y) (Succ y))
primDivNatS0	x y False	= Zero

showParen0	p True	= (showChar '(') . p . showChar ')'
showParen0	p False	= p

primModNatS0	x y True	= primModNatS (primMinusNatS x y) (Succ y)
primModNatS0	x y False	= Succ x

showSigned0	p showPos x True	= showParen (p > 6) ((showChar '-') . showPos (`negate` x))
showSigned0	p showPos x False	= showPos x

compare2	x y True	= EQ
compare2	x y False	= compare1 x y (x <= y)

compare1	x y True	= LT
compare1	x y False	= compare0 x y otherwise

gcd2	True vux vuy	= gcd1 (vuy == 0) vux vuy
gcd2	vvw vvx vvy	= gcd0 vvx vvy

gcd3	vux vuy	= gcd2 (vux == 0) vux vuy
gcd3	vvz vwu	= gcd0 vvz vwu

reduce2Reduce1	vwv vww x y True	= error []
reduce2Reduce1	vwv vww x y False	= reduce2Reduce0 vwv vww x y otherwise

gcd0Gcd'2	x zx	= gcd0Gcd'1 (zx == 0) x zx
gcd0Gcd'2	vuv vuw	= gcd0Gcd'0 vuv vuw